Theorem prover

Results: 85



#Item
21

Tutorial to Locales and Locale Interpretation∗ Clemens Ballarin Abstract Locales are Isabelle’s approach for dealing with parametric theories. They have been designed as a module system for a theorem prover

Add to Reading List

Source URL: isabelle.in.tum.de

Language: English - Date: 2016-02-17 10:48:15
    22

    Android Platform Modeling and Android App Verification in the ACL2 Theorem Prover Eric Smith and Alessandro Coglio Kestrel Institute, Palo Alto, U.S.A. http://www.kestrel.edu

    Add to Reading List

    Source URL: www.kestrel.edu

    Language: English - Date: 2015-10-12 12:51:13
      23

      Satallax: An Automatic Higher-Order Prover Chad E. Brown Saarland University, Saarbr¨ ucken, Germany Abstract. Satallax is an automatic higher-order theorem prover that

      Add to Reading List

      Source URL: www.ps.uni-saarland.de

      Language: English
        24

        The Heuristic Theorem Prover: Yet another SMT Modulo Theorem Prover (Tool Paper) Kenneth Roe 1

        Add to Reading List

        Source URL: www.cs.jhu.edu

        Language: English - Date: 2010-07-28 16:35:16
          25

          Formalized, Effective Domain Theory in Coq Robert Dockins Portland State University Abstract. I present highlights from a formalized development of domain theory in the theorem prover Coq. This is the f

          Add to Reading List

          Source URL: rwd.rdockins.name

          Language: English - Date: 2015-10-04 14:40:34
            26

            GridTPT: a distributed platform for Theorem Prover Testing∗ Thomas Bouton Diego Caminha B. de Oliveira David D´eharbe Pascal Fontaine

            Add to Reading List

            Source URL: www.verit-solver.org

            Language: English - Date: 2015-06-10 09:33:21
              27

              haRVey: a theorem prover for software verification Silvio Ranise INRIA-Lorraine DEA, Nancy—December 1, 2004

              Add to Reading List

              Source URL: www.loria.fr

              Language: English - Date: 2004-12-01 09:44:49
                28

                ileanTAP: An Intuitionistic Theorem Prover Jens Otten? Fachgebiet Intellektik, Fachbereich Informatik Technische Hochschule Darmstadt Alexanderstr. 10, 64283 Darmstadt, Germany

                Add to Reading List

                Source URL: www.cs.uni-potsdam.de

                Language: English - Date: 2008-03-22 23:12:43
                  29

                  Verified Heap Theorem Prover by Paramodulation Gordon Stewart Lennart Beringer Andrew W. Appel

                  Add to Reading List

                  Source URL: oucsace.cs.ohiou.edu

                  Language: English - Date: 2012-06-29 16:01:10
                    UPDATE